| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: vipr | Distribution: Fedora Project |
| Version: 1.1^20251029.30f2951 | Vendor: Fedora Project |
| Release: 3.fc45 | Build date: Thu Feb 12 16:29:26 2026 |
| Group: Unspecified | Build host: buildvm-ppc64le-05.rdu3.fedoraproject.org |
| Size: 6032286 | Source RPM: vipr-1.1^20251029.30f2951-3.fc45.src.rpm |
| Packager: Fedora Project | |
| Url: https://scipopt.org/ | |
| Summary: Verifying Integer Programming Results | |
VIPR is a software project to verify, in exact rational arithmetic, the correctness of results computed by mixed-integer linear programming solvers. It is based on an elementary file format for LP-based branch-and-cut certificates.
MIT AND LGPL-3.0-or-later
* Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-3 - Fix RISC-V link failure * Sat Jan 17 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.1^20251029.30f2951-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Wed Dec 17 2025 Jerry James <loganjerry@gmail.com> - 1.1^20251029.30f2951-1 - Initial RPM
/usr/bin/vipr2html /usr/bin/viprchk /usr/bin/viprchk_parallel /usr/bin/viprcomp /usr/bin/viprincomp /usr/bin/viprttn /usr/lib/.build-id /usr/lib/.build-id/23 /usr/lib/.build-id/23/354bf6d14d757ac7dac917a66b3ebfa5f901be /usr/lib/.build-id/5e /usr/lib/.build-id/5e/645d967a6f9db16d98ce8de3961a9a010f4755 /usr/lib/.build-id/73 /usr/lib/.build-id/73/810e230a1b8b4737e048c187e34674f599e3eb /usr/lib/.build-id/8d /usr/lib/.build-id/8d/e2f4a49c55f053a8b37710a83ea36247c05322 /usr/lib/.build-id/b7 /usr/lib/.build-id/b7/53e710c686c1204e21ab4e1b797aa3ba594ca5 /usr/lib/.build-id/c3 /usr/lib/.build-id/c3/5c16a1d7e5c0b96af761b49f09eda70b9e94a1 /usr/share/doc/vipr /usr/share/doc/vipr/README.md /usr/share/doc/vipr/cert_spec_v1_0.md /usr/share/doc/vipr/cert_spec_v1_1.md
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 21 00:13:59 2026